$\forall$$f$:($\mathbb{N}\rightarrow\mathbb{B}$). ($\exists$$n$:$\mathbb{N}$. ($\uparrow$($f$($n$)))) $\Rightarrow$ (mu($f$) $\in$ $\mathbb{N}$)